Andrea Bracciali: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10958 (FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers) || Comparative Analysis of the Legal Concept of Title Rights in Real Estate and the Technology of Tokens: How Can Titles Become Tokens?

Zohar, Aviv, Eyal, Ittay, Teague, Vanessa, Clark, Jeremy, Bracciali, Andrea, Pintore, Federico, Sala, Massimiliano

Year:

2019

Language:

english

File:

PDF, 400 KB

english, 2019

2

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Could Network Information Facilitate Address Clustering in Bitcoin?

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 404 KB

english, 2017

3

[IEEE 2019 First International Conference on Societal Automation (SA) - Krakow, Poland (2019.9.4-2019.9.6)] 2019 First International Conference on Societal Automation (SA) - Citizens Vote to Act: smart contracts for the management of water resources in smart cities

Bracciali, Andrea, Chatzigiannakis, Ioannis, Vitaletti, Andrea, Zecchini, Marco

Year:

2019

Language:

english

File:

PDF, 170 KB

english, 2019

4

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Unpacking Spear Phishing Susceptibility

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 558 KB

english, 2017

5

I.C.E. Net and Lost Power Estimation During Free Run-Up and Coast-Down

Claudio Braccesi, Andrea Bracciali

Journal:

Year:

1997

Language:

english

File:

PDF, 199 KB

english, 1997

6

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Exchange Pattern Mining in the Bitcoin Transaction Directed Hypergraph

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 2.43 MB

english, 2017

7

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Smart Contracts Make Bitcoin Mining Pools Vulnerable

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 603 KB

english, 2017

8

[IEEE 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Campobasso, Italy (2018.3.20-2018.3.20)] 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Smart contracts vulnerabilities: a call for blockchain software engineering?

Destefanis, Giuseppe, Marchesi, Michele, Ortu, Marco, Tonelli, Roberto, Bracciali, Andrea, Hierons, Robert

Year:

2018

Language:

english

File:

PDF, 317 KB

english, 2018

9

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10958 (FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers) || A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK

Zohar, Aviv, Eyal, Ittay, Teague, Vanessa, Clark, Jeremy, Bracciali, Andrea, Pintore, Federico, Sala, Massimiliano

Year:

2019

Language:

english

File:

PDF, 301 KB

english, 2019

10

Least squares estimation of main properties of sound absorbing materials through acoustical measurements

Claudio Braccesi, Andrea Bracciali

Journal:

Applied Acoustics

Year:

1998

Language:

english

File:

PDF, 726 KB

english, 1998

11

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10477 || A Problem-Driven Approach for Building a Bioinformatics GraphDB

Bracciali, Andrea, Caravagna, Giulio, Gilbert, David, Tagliaferri, Roberto

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

12

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

13

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || On the Feasibility of Decentralized Derivatives Markets

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

14

[ACM Press the 1st Workshop - Las Vegas, Nevada (2017.12.11-2017.12.15)] Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers - SERIAL '17 - A general framework for blockchain analytics

Bartoletti, Massimo, Lande, Stefano, Pompianu, Livio, Bracciali, Andrea

Year:

2017

Language:

english

File:

PDF, 480 KB

english, 2017

15

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 166 KB

english, 2017

16

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 1.22 MB

english, 2017

17

Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences

Bracciali, Andrea, Larsson, Elisabeth

Journal:

Data Science and Engineering

Year:

2017

Language:

english

File:

PDF, 293 KB

english, 2017

18

Randomness invalidates criminal smart contracts

Wang, Yilei, Bracciali, Andrea, Li, Tao, Li, Fengyin, Cui, Xinchun, Zhao, Minghao

Journal:

Information Sciences

Year:

2019

Language:

english

File:

PDF, 865 KB

english, 2019

19

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10958 (FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers) || Analysis of the Bitcoin UTXO Set

Zohar, Aviv, Eyal, Ittay, Teague, Vanessa, Clark, Jeremy, Bracciali, Andrea, Pintore, Federico, Sala, Massimiliano

Year:

2019

File:

PDF, 554 KB

2019

20

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10834 (14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers) ||

Bartoletti, Massimo, Barla, Annalisa, Bracciali, Andrea, Klau, Gunnar W., Peterson, Leif, Policriti, Alberto, Tagliaferri, Roberto

Year:

2019

Language:

english

File:

PDF, 20.27 MB

english, 2019

21

A Coordination-based Methodology for Security Protocol Verification

Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 393 KB

english, 2005

22

On Symbolic Semantics for Name-decorated Contexts

Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 766 KB

english, 2009

23

A formal approach to component adaptation

Andrea Bracciali, Antonio Brogi, Carlos Canal

Journal:

Journal of Systems and Software

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

24

Synapses as stochastic concurrent systems

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 2.99 MB

english, 2008

25

A symbolic framework for multi-faceted security protocol analysis

Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

International Journal of Information Security

Year:

2008

Language:

english

File:

PDF, 844 KB

english, 2008

26

An integrated modelling approach for R5–X4 mutation and HAART therapy assessment

Anil Sorathiya, Andrea Bracciali, Pietro Liò

Journal:

Swarm Intelligence

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

27

Control Flow Analysis for Brane Calculi

Chiara Bodei, Andrea Bracciali, Davide Chiarugi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 678 KB

english, 2009

28

Systematic component adaptation

Andrea Bracciali, Antonio Brogi, Carlos Canal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

29

A framework for specifying and verifying the behaviour of open systems

Andrea Bracciali, Antonio Brogi, Franco Turini

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 579 KB

english, 2005

30

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy

Anil Sorathiya, Andrea Bracciali, Pietro Liò

Journal:

BMC Bioinformatics

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

31

Stochastic models for the in silico simulation of synaptic processes

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano

Journal:

BMC Bioinformatics

Year:

2008

Language:

english

File:

PDF, 1.45 MB

english, 2008

32

On deducing causality in metabolic networks

Chiara Bodei, Andrea Bracciali, Davide Chiarugi

Journal:

BMC Bioinformatics

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

33

CRAFTING THE MIND OF PROSOCS AGENTS

Bracciali, Andrea, Endriss, Ulle, Demetriou, Neophytos, Kakas, Antonis, Lu Stathis, Wenjin, Stathis, Kostas

Journal:

Applied Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 596 KB

english, 2006

34

[IEEE 2010 13th International Conference on Ground Penetrating Radar (GPR) - Lecce, Italy (2010.06.21-2010.06.25)] Proceedings of the XIII Internarional Conference on Ground Penetrating Radar - Underground asset mapping with dual-frequency dual-polarized GPR massive array

Simi, Alessandro, Manacorda, Guido, Miniati, Mario, Bracciali, Stefania, Buonaccorsi, Andrea

Year:

2010

Language:

english

File:

PDF, 1023 KB

english, 2010

35

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - Coordinating interaction patterns

Bracciali, Andrea, Brogi, Antonio, Turini, Franco

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

36

Contact mechanics issues of a vehicle equipped with partially independently rotating wheelsets

Bracciali, Andrea, Megna, Gianluca

Journal:

Year:

2016

Language:

english

File:

PDF, 2.21 MB

english, 2016

37

PWHATSHAP: efficient haplotyping for future generation sequencing

Andrea Bracciali,Marco Aldinucci,Murray Patterson,Tobias Marschall…

Journal:

BMC Bioinformatics

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

38

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10477 || A Novel Algorithm for CpG Island Detection in Human Genome Based on Clustering and Chaotic Particle Swarm Optimization

Bracciali, Andrea, Caravagna, Giulio, Gilbert, David, Tagliaferri, Roberto

Year:

2017

Language:

english

File:

PDF, 593 KB

english, 2017

39

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10477 || COSYS: A Computational Infrastructure for Systems Biology

Bracciali, Andrea, Caravagna, Giulio, Gilbert, David, Tagliaferri, Roberto

Year:

2017

Language:

english

File:

PDF, 1.56 MB

english, 2017

40

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10477 || Constraining Mechanism Based Simulations to Identify Ensembles of Parametrizations to Characterize Metabolic Features

Bracciali, Andrea, Caravagna, Giulio, Gilbert, David, Tagliaferri, Roberto

Year:

2017

Language:

english

File:

PDF, 2.18 MB

english, 2017

41

[Lecture Notes in Computer Science] Computational Intelligence Methods for Bioinformatics and Biostatistics Volume 10477 || Inference in a Partial Differential Equations Model of Pulmonary Arterial and Venous Blood Circulation Using Statistical Emulation

Bracciali, Andrea, Caravagna, Giulio, Gilbert, David, Tagliaferri, Roberto

Year:

2017

Language:

english

File:

PDF, 4.33 MB

english, 2017

42

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || BatchVote: Voting Rules Designed for Auditability

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 916 KB

english, 2017

43

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Constant-Deposit Multiparty Lotteries on Bitcoin

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 890 KB

english, 2017

44

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || (Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 183 KB

english, 2017

45

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 651 KB

english, 2017

46

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Enhancing Bitcoin Transactions with Covenants

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 261 KB

english, 2017

47

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Using Selene to Verify Your Vote in JCJ

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 262 KB

english, 2017

48

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || Towards Privacy-Preserving Multi-party Bartering

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 388 KB

english, 2017

49

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || ValueShuffle: Mixing Confidential Transactions for Comprehensive Transaction Privacy in Bitcoin

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 1.48 MB

english, 2017

50

[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 10323 || A Concurrent Perspective on Smart Contracts

Brenner, Michael, Rohloff, Kurt, Bonneau, Joseph, Miller, Andrew, Ryan, Peter Y.A., Teague, Vanessa, Bracciali, Andrea, Sala, Massimiliano, Pintore, Federico, Jakobsson, Markus

Year:

2017

Language:

english

File:

PDF, 803 KB

english, 2017